NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)
by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)
by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
ISBN 13: 9783030557539
Format: Paperback
(463 pages)
Publisher: Springer
Published: 09 Aug 2020
Save for later
New : $78.35